扫描下载APP
其它方式登录
AI数学公司Axiom Math由00后华人洪乐潼创立，其系统AxiomProver生成并形式化验证数学证明，已有5篇AI参与完成的论文被学术期刊接收，覆盖数论、代数几何等多个数学分支；公司已完成2亿美元融资，估值16亿美元，致力于构建可验证、可自我改进的超级推理系统。
文章聚焦AI幻觉这一大模型固有特性，指出其既是创造力来源也是高风险隐患；重点介绍初创公司Axiom采用形式化验证（特别是Lean语言）技术，将AI推理过程转化为可数学证明的确定性链条，以提升关键领域可信度，并提及北大AI4Math团队等国内相关探索。
25岁华裔天才洪乐潼创办AI公司Axiom，聚焦形式化验证技术，用数学公理和Lean语言确保大模型推理过程可证明、无幻觉，瞄准金融、军工等高可靠性场景；公司成立两年获2亿美元A轮融资，估值16亿美元，已攻克埃尔德什难题并在普特南竞赛中获满分，但面临商业化路径与速度-正确性平衡等现实挑战。
文章反思当前主流创业方法论，指出在AI工具普及背景下，过早发布产品导致方向错位与沉没成本攀升；主张摒弃‘精益创业’教条，回归产品本质，强调需先厘清赛道驱动逻辑（如alpha或性能）再投入，以谷歌Glass失败和Axiom成功为例证。
文章分析链上交易终端赛道的演进趋势，指出发币平台（如Pump.fun）收购终端（Padre）预示独立终端面临被整合风险；剖析GMGN、Axiom、Photon和1Keeper等产品的差异化路径——数据网络效应、平台化扩张、极致性能与后发架构优化，并探讨其终局可能为被整合、成为平台或垂直冠军。
ZachXBT揭露Axiom平台内幕交易后，涉事高管Bauer及竞品Pump.fun合伙人gorillacap利用预测市场提前押注获利，引发对加密行业监管、道德与市场操纵的深度质疑。
文章揭示了Solana链上应用通过订单流支付、交易小费和优先费等机制，利用信息不对称向用户收取隐形费用的现状，类比传统金融中的PFOF模式，指出前端应用与做市商、落地服务商合谋牟利的问题，并提出通过多重并发提议者、优先排序机制和动态基础费等协议层改革夺回用户费用定价权。
